Formalisation et automatisation de la mesure des points de fonction

La méthode des points de fonction, proposée par Albrecht, permet de mesurer la taille fonctionnelle d'un logiciel durant la phase de spécification des besoins. Elle a été améliorée par l'IFPUG (International Function Points User Group). Cette méthode des points de fonction a été étendue par le groupe COSMIC (Common Software Measurement International Consortium) pour la mesure des systèmes temps réels, appelée COSMIC-FFP. Cependant, les définitions de ces deux méthodes sont ambiguës, ce qui les rend difficiles à automatiser. Dans cette thèse, nous avons formalisé la définition des points de fonction selon la méthode d'IFPUG pour mesurer des spécifications écrites en langage B. Nous avons également formalisé la définition de COSMIC-FFP pour des spécifications écrites avec la notation de Rational Rose RealTime (RRRT). De plus, nous avons développé un outil, [Special characters omitted.], qui permet de mesurer automatiquement COSMIC-FFP pour des spécifications RRRT. Nos définitions formelles permettent de lever plusieurs ambiguïtés et de rendre ces mesures objectives, ce qui permettra d'éliminer la variance dans le processus de mesure.La formalisation permet également l'automatisation de la mesure

Surgical rehabilitation of nasal septum perforation in children

Introduction. Technical difficulties and failures are also determined by the fact that it is extremely rare to close the perforation by simple mutual displacement and cross-linking of the flaps of mucoperichondrium.The aim of this article is to develop optimal methods for plastic closure of septum perforations in children based on a retrospective analysis of results of surgical treatment.Materials and Methods. Plastic surgery closure of septum perforations using a newly developed method is described for 14 patients aged 6–15 years.Discussion. An analysis of the etiological factors affecting disease development is carried out, and the authors’ technique of closing the subtotal perforations is described in detail, adapted for the child's age, and for preoperative preparation and postoperative management. In all operated patients, the postoperative period proceeded smoothly, without complications associated with the operation. A follow-up observation for more than a year after surgery showed no recurrence of septal perforation in patients from both groups.Conclusion. A careful analysis of the causes, clinical manifestations, localization and sizes of septum perforation in comparison with the anatomical dimensions of intranasal structures allows one to individually select the optimal surgical method

Nonlinear estimation of coupling and directionality between signals: Application to uterine EMG propagation.

International audienceUnderstanding the direction and quantity of information flowing in a complex system is a fundamental task in signal processing. Several measures have been proposed to detect the quantity of synchronization and the directionality between time series and in physiological data. In this paper we use two methods that are widely used in synchronization and directionality analysis: Nonlinear correlation coefficient (h(2)) and the general synchronization (H). The performances of both methods were tested on four dimensional coupled synthetic nonlinear Rössler models. They were then applied to a single real labor contraction uterine EMG burst with the aim of using them to detect synchronization and to plot the map of direction of information flow between the whole signal channels. The results on synthetic signal show a slight superiority of H over h(2). The results obtained on a single contraction are encouraging for the future use of these tools for resolving the open question of the directionality of uterine contractions and may provide a way of finding their source loci